Browsing by Subject "Pi calculus"
Now showing items 1-2 of 2
-
Article
Social confluence in client-server systems
(1997)An extension to the theory of partial confluence of concurrent systems is presented in the setting of the polyadic π-calculus. The main result, expressed in terms of client-server systems, is that in certain client contexts, ...
-
Article
Type checking privacy policies in the π-calculus
(2015)In this paper we propose a formal framework for studying privacy. Our framework is based on the π -calculus with groups accompanied by a type system for capturing privacy requirements relating to information collection, ...